Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers
2006-01-01 Armando, Alessandro; Mantovani, J.; Platania, L.
Building SMT-based Software Model Checkers: an Experience Report
2009-01-01 Armando, Alessandro
Combining Supervised and Unsupervised Methods to Support Early Diagnosis of Hepatocellular Carcinoma
2003-01-01 Ciocchetta, Federica; Dell'Anna, Rossana; Demichelis, Francesca; Amar Paul, Dhillon; Alberto, Quaglia; Sboner, Andrea
Continuous multi-way shape measure for dissimilarity representation
2012-01-01 Porro Munoz, Diana; Duin, R. P. W.; Orozco Alzate, M.; Talavera, I.
Design as intercultural dialogue: Coupling human- centered design with requirement engineering methods
2011-01-01 Leonardi, Chiara; Sabatucci, Luca; Susi, Angelo; Zancanaro, Massimo
Estimation of solar radiation on building roofs in mountainous areas
2011-01-01 Agugiaro, Giorgio; Remondino, Fabio; De Filippi, Riccardo; Furlanello, Cesare
Experimental Comparison of Orthogonal Moments as Feature Extraction Methods for Character Recognition
2010-01-01 Duval, M.; Vega Pons, Sandro; Garea, E.
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, G.; Merlo, A.
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
2014-01-01 Armando, Alessandro; Oudkerk, S.; Ranise, Silvio; Wrona, K.
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach
2009-01-01 Armando, Alessandro; Giunchiglia, E.; Ponta, S. E.
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
2012-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Gesture signature for ambient intelligence applications: a feasibility study
2006-01-01 Farella, Elisabetta; O'Modhrain, S.; Benini, L.; Riccò, B.
Image Segmentation Fusion Using General Ensemble Clustering Methods
2011-01-01 Franek, L.; Duarte Abdala, D.; Vega Pons, Sandro; Jiang, X.
Investigating Collaboration Dynamics in Different Ontology Development Environments
2014-01-01 Rospocher, Marco; T., Tudorache; M., Musen
Lazy Abstraction with Interpolants for Arrays
2012-01-01 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
Missing values in dissimilarity-based classification of multi-way data
2013-01-01 Porro Munoz, Diana; Duin, R. P. W.; Talavera, I.
Model Checking of Security-sensitive Business Processes
2010-01-01 Armando, Alessandro; Ponta, S. E.
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
2005-01-01 Armando, Alessandro; Bonacina, M. P.; Ranise, Silvio; Schulz, S.
On the Automated Analysis of Safety in Usage Control: A New Decidability Result
2012-01-01 Ranise, Silvio; Armando, Alessandro
On the collaborative development of application ontologies: a practical case study with a SME
2014-01-01 Rospocher, Marco; Cardillo, Elena; Donadello, Ivan; Serafini, Luciano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile